- time consistency check
- 时间一致性检定
Atmospheric Sciences (English-Chinese) dictionary. 2014.
time consistency check
Look at other dictionaries:
Time-Triggered Protocol — Introduction= TTP (Time Triggered Protocol) is an open and modular control system platform technology that supports the design of upgradeable, reusable and easy to integrate systems. As a time triggered field bus, it can significantly impact the… … Wikipedia
check — {{Roman}}I.{{/Roman}} noun 1 close look to make sure sth is safe/correct ADJECTIVE ▪ complete, extensive, full (esp. BrE), thorough ▪ careful, close, rigorous, tight (a … Collocations dictionary
Data consistency — summarizes the validity, accuracy, usability and integrity of related data between applications and across an IT enterprise. This ensures that each user observes a consistent view of the data, including visible changes made by the user s own… … Wikipedia
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
SMPTE time code — SMPTE timecode is a set of cooperating standards to label individual frames of video or film with a timecode defined by the Society of Motion Picture and Television Engineers in the SMPTE 12M specification. Timecodes are added to film, video or… … Wikipedia
Immunity Aware Programming — When writing firmware for an embedded system, immunity aware programming is a set of programming techniques used in an attempt to tolerate transient errors in the program counter or other that would otherwise lead to failure.Immunity aware… … Wikipedia
Map database management — stems from navigation units becoming more common in automotive vehicles (see Automotive navigation system). They serve to perform usual navigation functions, such as finding a route to a desired destination and guiding the driver to it or… … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Backmarking — In constraint satisfaction, backmarking is a variant of the backtracking algorithm.Backmarking works like backtracking by iteratively evaluating variables in a given order, for example, x 1,ldots,x n. It improves over backtracking by maintaining… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
accounting — /euh kown ting/, n. 1. the theory and system of setting up, maintaining, and auditing the books of a firm; art of analyzing the financial position and operating results of a business house from a study of its sales, purchases, overhead, etc.… … Universalium
